constraint execution working on stp_test.c