add more inout of software constraints