concrete and abstact syntax modified, syntax tested with module load.rsc