The trouble with overuse of guarantees in the SMMA space