Code formatting
Fixed abstract syntax extraction of inference rules
Commented strategy