updated ASTL to ASL