Past is for free: on the complexity of verifying linear temporal properties with past