Initialize the property with all information
Initialize the property with all information

There was the LTL missing if property was not given by a file.

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic