more rest things and StmCtx.getConstraints()