This is the ruthless commit.
Merge pull request #72 from AI-comp/modify

Some changes in the Quel. rule