Enhancements to monotonic and refactoring of retic call
Test cases