Added variability awareness for alternative call parameters. Fixed wrong astEnv call.