a5soc: constraints for false paths