Implement first versions of : LockedOverApprox and UnderApprox