fixing the action theory and adding beside.
including the last state in asp_formatter
adding a task to bounce between doors
adding the rule that does not allow to be beside two doors at the same time.