recompile and include more constraints