SPACL converter now in converters
Works! But not minimizing AND layers yet