a strategy for efficient verification of relational specifications , based on monotonicity analysis mf frias , r gamarra , g steren , l bourg proceedings of the 20th ieee/acm international conference on & hellip ; , 2005.0