Made modifications for computing lower approximation

Signed-off-by: velamurr <velamurr@uw.edu>