added get-precedentconstraint function to module