by default no reasoning in rewrite module