Modelling last-act attempted crime in criminal law