Refactoring for asl