Add BSL code to set props and characterisations