Changed the StarQuantifier constructor to accept a Subexpression