- Enabling rules with negative head in input program.