minor changes to controllability
minor changes to controllability

Signed-off-by: Felipe Monteiro <a35cfbb24ed7405fa9a3ba51ac5da068cb591c65@gmail.com>

hussamaibrahim/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier