add noarg constructors to all logics