boolex dsl creation from circuit