translated constraints from scheme to js