adding missing ;
updating the comments on facebook.raz
temporarily adding equality axioms while maintaining equations in the relational expression: this significantly improves the Chase's performance but it must be fully tested