added tests for case-within-update, greatest-with-divisor