GH-2 Added initial checks for derived value flow