Different from previous: ~mcTopLog
incremental NT Bound

When checking the coverage -- use early parser for b.pl



Parser is updated, both abductively and deductively (earley parser)