Adding new constraints
Modifying parser, etc.